Merge branch 'wip.build-system-v5' of git://xenbits.xen.org/people/liuw/xen into...

Conflicts:
	Config.mk

ijc -- resolved trivial conflict with 6dacedd707c2 "tools: update
       seabios rel-1.8.0"

diff --cc .gitignore
Simple merge

diff --cc Config.mk
index 811485a5700d78facb54daf7ab65139ec9117992,109f1f1ef0d9a33ccda3057798f04b8283c2bc57..c0c0775c19da5f05efeafe12664374bc1413c4e1
--- 1/Config.mk
--- 2/Config.mk
+++ b/Config.mk
@@@ -250,12 -251,17 +251,17 @@@ OVMF_UPSTREAM_URL ?= git://xenbits.xen.
  QEMU_UPSTREAM_URL ?= git://xenbits.xen.org/qemu-upstream-unstable.git
  QEMU_TRADITIONAL_URL ?= git://xenbits.xen.org/qemu-xen-unstable.git
  SEABIOS_UPSTREAM_URL ?= git://xenbits.xen.org/seabios.git
+ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
  endif
 -OVMF_UPSTREAM_REVISION ?= 447d264115c476142f884af0be287622cd244423
 +OVMF_UPSTREAM_REVISION ?= a065efc7c7ce8bb3e5cb3e463099d023d4a92927
  QEMU_UPSTREAM_REVISION ?= master
 -SEABIOS_UPSTREAM_REVISION ?= rel-1.7.5
 -# Thu May 22 16:59:16 2014 -0400
 -# python3 fixes for vgabios and csm builds.
+ MINIOS_UPSTREAM_REVISION ?= 55f7cd7427ef3e7fe3563a3da46d8664a2ed0d6d
+ # Thu Jan 29 19:10:04 2015 +0000
+ # Mini-OS: standalone build
+ 
 +SEABIOS_UPSTREAM_REVISION ?= rel-1.8.0
 +# Wed Feb 18 12:49:59 2015 -0500
 +# docs: Note v1.8.0 release
  
  ETHERBOOT_NICS ?= rtl8139 8086100e